MGI:3530442 http://identifiers.org/mgd/MGI:3530442 Null/knockout Aph1c<-> Aph1c<tm1.1Bdes> targeted mutation 1.1, Bart De Strooper